Partial Evaluation and Residual Theorems in Computer Algebra
نویسندگان
چکیده
We have implemented a partial evaluator for Maple. One of the applications of this partial evaluator is to find, in Maple, what is the difference between generic or symbolic evaluation, and complete evaluation. More precisely, when asked degree(a*xˆ2+3,x), Maple replies 2, which is generically true. However, we are interested in the residual formula ¬(a = 0) which, as a guard, makes the answer 2 correct. While special algorithms have been derived in the past for this particular situation, we show how we can derive many of these algorithms as special cases of partially evaluating Maple code.
منابع مشابه
Fixed Point Theorems for semi $lambda$-subadmissible Contractions in b-Metric spaces
Here, a new certain class of contractive mappings in the b-metric spaces is introduced. Some fixed point theorems are proved which generalize and modify the recent results in the literature. As an application, some results in the b-metric spaces endowed with a partial ordered are proved.
متن کاملDerivations of the Algebra of Sections of Superalgebra Bundles
In this paper we review the concepts of the superalgebra, superderivation and some properties of them. We will define algebraic and differential superderivations on a superalgebra and will prove some theorems about them, Then we consider a superalgebra bundle, that is an algebra bundle which its fibers are superalgebras and then characterize the superderivations of the algebra of sections of th...
متن کاملOn the fixed point theorems in generalized weakly contractive mappings on partial metric spaces
In this paper, we prove a fixed point theorem for a pair of generalized weakly contractive mappings in complete partial metric spaces. The theorems presented are generalizations of very recent fixed point theorems due to Abdeljawad, Karapinar and Tas. To emphasize the very general nature of these results, we illustrate an example.
متن کاملA tensor product approach to the abstract partial fourier transforms over semi-direct product groups
In this article, by using a partial on locally compact semi-direct product groups, we present a compatible extension of the Fourier transform. As a consequence, we extend the fundamental theorems of Abelian Fourier transform to non-Abelian case.
متن کاملFixed Point Theorems For Weak Contractions in Dualistic Partial Metric Spaces
In this paper, we describe some topological properties of dualistic partial metric spaces and establish some fixed point theorems for weak contraction mappings of rational type defined on dual partial metric spaces. These results are generalizations of some existing results in the literature. Moreover, we present examples to illustrate our result.
متن کامل